(print): Reset print_number_index if Vprint_number_table is nil.

diff --git a/src/print.c b/src/print.c
index 88781080e6caf70ff535e321ef3d05ee3072665d..e3f60e06fcc78dea565a95e33e05390fccbaa06a 100644 (file)
--- a/src/print.c
+++ b/src/print.c
@@ -1292,7 +1292,8 @@ print (obj, printcharfun, escapeflag)
      the variable Vprint_continuous_numbering is nil.  Otherwise,
      the values of these variables will be kept between several
      print functions.  */
-  if (NILP (Vprint_continuous_numbering))
+  if (NILP (Vprint_continuous_numbering)
+      || NILP (Vprint_number_table))
     {
       print_number_index = 0;
       Vprint_number_table = Qnil;